Arithmetic precision - PDFSEARCH.IO - Document Search Engine

Arithmetic precision
Results: 543

#	Item
51	Reliable computing with GNU MPFR Paul Zimmermann ´ LORIA/INRIA Nancy-Grand Est, Equipe CARAMEL - bˆ atiment A, Add to Reading List Source URL: www.loria.fr Language: English Computer arithmetic GNU MPFR Rounding Paul Zimmermann GNU Multiple Precision Arithmetic Library SageMath Extended precision Floating point Interval arithmetic GNU Compiler Collection Precision IEEE floating point
52	libContinuedFraction for version 0.5.0, 4 October 2004 Johan Vervloet () This manual is for libContinuedFraction (version 0.5.0, 4 October 2004), a library which Add to Reading List Source URL: oud.losderover.be Language: English - Date: 2006-09-27 13:02:36 Software Computing Mathematical analysis Computer arithmetic Continued fractions Fraction Configure script GNU Multiple Precision Arithmetic Library GNU MPFR Const Pi
53	Introduction Bounds Rounding Errors Conclusion De l’arithm´etique d’intervalles `a la certification de programmes Guillaume Melquiond Sous la direction de Marc Daumas Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Computer arithmetic Numerical analysis Arithmetic Floating point Arithmetic underflow Rounding Interval arithmetic Precision Round-off error Significant figures
54	Motivations for an arbitrary precision interval arithmetic and the MPFI library N. Revol ()∗ ´ INRIA, Project Arenaire, LIP (CNRS/ENSL/INRIA/UCBL), Ecole Normale Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2005-01-20 08:54:54 Computer arithmetic GNU MPFR Interval arithmetic Floating point Rounding GNU Multiple Precision Arithmetic Library Precision Machine epsilon Arbitrary-precision arithmetic IEEE floating point Significant figures Interval
55	GNU MPFR The Multiple Precision Floating-Point Reliable Library EditionJuneThe MPFR team Add to Reading List Source URL: www.mpfr.org Language: English - Date: 2015-06-19 17:58:25 Software Computer arithmetic Compiling tools C GNU MPFR GNU Multiple Precision Arithmetic Library Configure script SageMath Rounding GNU Compiler Collection C standard library GNU
56	A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-04-16 09:27:03 Computer arithmetic Computing Software engineering Computer architecture IEEE floating point Double-precision floating-point format Extended precision Processor register Compiler correctness Rounding Fortran Single-precision floating-point format
57	Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-02-18 11:28:41 Computer arithmetic Mathematics Theoretical computer science Computing Rounding IEEE floating point Double-precision floating-point format Normal number Arithmetic underflow Division algorithm Q Denormal number
58	GNU MP The GNU Multiple Precision Arithmetic Library EditionNovemberby Torbj¨ Add to Reading List Source URL: gmplib.org Language: English - Date: 2015-11-02 22:09:07
59	Accurate Evaluation of Arithmetic Expressions Matthieu Martel DALI - Universite´ de Perpignan Via Domitia LIRMM - CNRS: UMRUniversite´ Montpellier 2, France Add to Reading List Source URL: nsad2012.ucombinator.org Language: English - Date: 2014-01-06 09:39:57 Computer arithmetic Floating point Abstract interpretation Rounding IEEE floating point Double-precision floating-point format Precision NaN Expression
60	MPIR The Multiple Precision Integers and Rationals Library EditionNovemberOriginal Authors: Torbjorn Granlund and the GMP Development Team Add to Reading List Source URL: www.mpir.org Language: English - Date: 2015-11-20 13:22:42 Compiling tools Cross-platform software Build automation Computer arithmetic Configure script Object-oriented programming languages GNU Multiple Precision Arithmetic Library Autoconf GNU Libtool MPIR Automake Cross compiler